Section: Dissemination

Animation of the scientific community

Academy Members, Professional Societies

Patrick Cousot is a member of the Academia Europaea .

Patrick Cousot is member of the IFIP working group WG 2.3 on programming methodology.

Patrick Cousot is a member of the Board of Trustees and of the Scientific Advisory Board of the IMDEA -Software (Instituto madrileño de estudios avanzados—Research Institute in Software Development Technology), Madrid, Spain and of the Asian Association for Foundations of Software (AAFS).

Collective Responsibilities

Patrick Cousot is director of studies in computer science at ENS and member of the commission de spécialistes (hiring committee) of ENS.

Patrick Cousot, Antoine Miné and Xavier Rival are members of the lab council of the Laboratoire d'Informatique de l'École Normale Supérieure.

Jérôme Feret was a member of the comité de sélection (hiring committee) to hire an assistant professor at the Université de Lille 1.

Antoine Miné was a member of the comité de sélection (hiring committee) to hire an assistant professor at the École normale supérieure de Cachan, antenne de Bretagne (Ker Lann, France).

Xavier Rival was a member of the comité de sélection (hiring committee) to hire an assistant professor at the Université de Paris 7.

Editorial Boards and Program Committees

— Patrick Cousot is member of the advisory board of the Higher-Order Symbolic Computation journal (HOSC, Springer) and of the Journal of Computing Science and Engineering (JCSE, Kiise).

Patrick Cousot is member of the steering committees of the Static Analysis Symposium (SAS) and the Verification, Model-Checking and Abstract Interpretation (VMCAI) international conference.

Patrick Cousot was member of the program committees of the 32th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2011 ERC) , San Jose, CA, USA, June 4-8, 2011; the 12th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2011), Austin, TX, USA, January 23-25, 2011; the 14th ACM International Conference on Hybrid Systems (HSCC 2011), Chicago, IL, USA, April 11-14, 2011; Verified Software: Theories, Tools and Experiments (VSTTE 2012), Philadelphia, USA, January 28-29, 2012; the 19th International Static Analysis Symposium (SAS'12), Deauville, France; the 15th ACM International Conference on Hybrid Systems: Computation and Control (HSCC 2012), Beijing, China, April 17-19, 2012.

— Radhia Cousot is member of the advisory board of the Higher-Order Symbolic Computation journal (HOSC, Springer) and the Central European Journal of Computer Science (CEJCS, Versita & Springer).

Radhia Cousot is member of the steering committees of the Static Analysis Symposium (SAS), the Workshop on Numerical and Symbolic Abstract Domains (NSAD), the Workshop on Static Analysis and Systems Biology (SASB) and the Workshop on Tools for Automatic Program AnalysiS (TAPAS).

Radhia Cousot is the program committee chair of the 40th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL 2013), Rome, Italy, January 23-25, 2013.

Radhia Cousot was member of the program committees of the 21st European Symposium on Programming (ESOP 2011), Saarbrücken, Germany, March 26-April 3, 2011; the 18th International Static Analysis Symposium (SAS'11), Venice, Italy, September 14-16, 2011; the 38th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL 2011), Austin, Texas, USA, January 26-28, 2011.

— Jérôme Feret is a member of the editorial board of the Frontiers in Genetics journal.

Jérôme Feret is a member of the steering committee of the Workshop on Static Analysis and Systems Biology (SASB).

Jérôme Feret was co-program committee chair of the 2nd SASB (2011) and is co-program committee chair of the 3rd SASB (2012).

Jérôme Feret was member of the program committee of the 2nd International Workshop on Interactions between Computer Science and Biology (CS2Bio 2011), the 9th International Conference on Computational Methods in Systems Biology (CMSB 2011), the 9th Asian Symposium on Programming Languages (APLAS 2011), the 4th International Conference on Bioinformatics, Biocomputational Systems and Biotechnologies (BIOTECHNO 2012). He will be a member of the International Symposium on Foundations of Health Information Engineering and System (FHIES 2012).

— Antoine Miné was member of the program committee of the 18th International Static Analysis Symposium (SAS'11), the third Workshop on Numerical and Symbolic Abstract Domains (NSAD'11), and the First International Workshop on Safety and Security in Cyber-Physical Systems (SSCPS'11).

Antoine Miné will be program committee co-chair and general chair of the 19th International Static Analysis Symposium (SAS'12), Deauville, France, general chair of the 4th International Workshop on Numerical and Symbolic Abstract Domains (NSAD'12), the 3rd International Workshop on Static Analysis and Systems Biology (SASB'12), and the 3rd International Workshop on Tools for Automatic Program AnalysiS (TAPAS'12), Deauville, France, and member of the program committee of the Second International Workshop on Safety and Security in Cyber-Physical Systems (SSCPS'12), Gaithersburg, Maryland, USA.

— Xavier Rival was member of the program committee the Conferences on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2011), Saarbrücken, Germany, March 26-April 3, 2011.

Xavier Rival is a member of the program committee the European Symposium On Programming (ESOP 2012).

Xavier Rival is member of the steering committee of the Workshop on Tools for Automatic Program AnalysiS (TAPAS).

Jury of PhD and Habilitation

— Patrick Cousot was in the jury of the habilitation of Xavier Rival, (ENS, Paris, France, June 24, 2011).

— Jérôme Feret was in the jury of the PhD thesis of Loïc Paulevé (IRCCyn, Nantes, France, October 6, 2011).

— Antoine Miné was in the jury of the PhD thesis of Khalil Ghorbal (CEA, France, July 28, 2011).

Participation in Conferences

CMSB:

Ninth International Conference on Computational Methods in Systems Biology (Paris, France, 21–23 September 2011).

Ferdinanda Camporesi, Jérôme Feret, and Alessandro Romanel attended the workshop. Jérôme Feret chaired a session.

ESOP:

European Symposium on Programming (Saarbrücken, Germany, 30 March – 1st April 2011)

Patrick Cousot, Radhia Cousot, Antoine Miné and Xavier Rival attended the conference. Antoine Miné gave a talk on the static analysis of parallel programs [22] .

FOSSACS:

14th International Conference on Foundations of Software Science and Computation Structures (Saarbrücken, Germany, 29–31 March 2011)

Patrick Cousot, Radhia Cousot attended the conference. Patrick Cousot gave a talk on the reduced product of abstract domains and the combination of decision procedures [20] .

MecBIC:

International Workshop on Membrane Computing and Biologically Inspired Process Calculi (Fontainebleau, France, 23 August 2011).

Jérôme Feret and Alessandro Romanel attended the workshop.

MFPS:

International Conference on Mathematical Foundations of Programming Semantics (Pittsburg, Pennsylvania, USA, 25–28 May 2011).

Jérôme Feret attended the conference and gave an invited talk on model reduction of differential models [13] .

NSAD:

Second International Workshop on Numerical and Symbolic Abstract Domains (Venice, Italy, 13 September 2011).

Antoine Miné, Patrick Cousot, Radhia Cousot, and Xavier Rival attended the workshop.

POPL:

ACM Symposium on Principles of Programming Languages (Austin, Texas, USA, 26–28 January 2011).

Patrick Cousot, Radhia Cousot and Xavier Rival attended the conference [18] . Xavier Rival gave a talk on Calling context abstraction with shapes [23] .

RAIM:

4ème Rencontres Arithmétique de l'Informatique Mathématique (Perpignan, France, 7–10 February 2011)

Antoine Miné attended and gave a talk on the static analysis of numerical programs manipulating floating-point numbers.

SAS:

18th International Static Analysis Symposium (Venice, Italy, 14–16 September 2011).

Ferdinanda Camporesi, Patrick Cousot, Radhia Cousot, Jérôme Feret, Antoine Miné, Xavier Rival, and Matteo Zanioli attended the conference. Patrick Cousot gave an invited talk on Combining Algebraic Domains and Logical Theories by the Reduced Product. Jérôme Feret gave an invited talk on model reduction of differential models [14] . Antoine Miné chaired a session.

SASB:

International Workshop on Static Analyis and Systems Biology (Venice, Italy, 13 September 2011).

Ferdinanda Camporesi and Jérôme Feret attended to the workshop. Jérôme Feret co-chaired the workshop and chaired all the sessions.

TACAS:

17th International Conference on Tools for Automatic Construction and Analysis of Systems (Saarbrücken, Germany, 29–31 March 2011)

Xavier Rival attended the conference and chaired a session.

TAPAS:

Second International Workshop on Tools for Automatic Program Analysis (Venice, Italy, France, 17 September 2011).

Antoine Miné and Xavier Rival attended the workshop.

VMCAI:

International Conference on Verification, Model Checking and Abstract Interpretation (Austin, Texas, USA, 23–25 January 2011).

Patrick Cousot, Radhia Cousot attended the conference. Patrick Cousot gave a talk on precondition inference from intermittent assertions and application to contracts on collections [19] .

Invitations and Participation in Seminars

— Ferdinanda Camporesi gave a talk on model reduction of signaling pathways at the Semantics and Abstraction Interpretation Seminar (ENS, Paris, France).

— Patrick Cousot gave a talk on Unifying proof theoretic/logical and algebraic abstractions for inference and verification, NSF CMACS Meeting, University of Maryland, College Park, MD, USA, April 28-29, 2011; on Theories, Solvers and Static Analysis by Abstract Interpretation, Ascert Meeting, ENS Paris, France, November 30, 2011; on Program verification by abstract interpretation, NSF CMACS Industry Workshop on Verification of Embedded Control Systems, October 20, 2011, Carnegie Mellon University, Pittsburgh, PA.

— Patrick Cousot and Radhia Cousot gave a talk on Method Refactoring by Abstract Interpretation, MSR Talk Series, Microsoft Research, Redmond, WA, USA, September 2, 2011; on Theories, Solvers and Static Analysis by Abstract Interpretation, MSR Talk Series, Microsoft Research, Redmond, WA, USA. August 12th, 2011.

— Jérôme Feret gave a talk on the Astrée analyzer at the Programming Methodology group at ETH Zürich (Zürich, Switzerland) and some talks on model reduction for signaling pathways at the Bison group at ETH Zürich (Zürich, Switzerland), at the Focus group at the University of Bologna (Bologna, Italy), at the ANR-SYMBIOTIC meeting (IBISC, Evry, France), at the SysBio meeting of the Systems Biology of cancer group at the Institut Curie (Paris, France).

— Antoine Miné gave a talk on the static analysis of parallel programs at the 68NQRT Seminar, IRISA and INRIA Rennes (France) on the 26 May 2011, at the Semantics and Abstraction Interpretation Seminar, École normale supérieure (Paris, France) on the 18 November 2011, and at IMDEA-Software (Madrid, Spain) on the 12 December 2011.

— Xavier Rival was invited to give a talk on Perspective for compiler certification in avionics at the “Compiler Optimization meets Compiler Verification” Workshop (COCV) at ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011. Xavier Rival gave a talk on Abstract domains for the static analysis of programs manipulating complex data-structures at Seoul National University (Seoul, Korea), on the 26th August, 2011.